-- ================================================
-- Template generated from Template Explorer using:
-- Create Procedure (New Menu).SQL
--
-- Use the Specify Values for Template Parameters 
-- command (Ctrl-Shift-M) to fill in the parameter 
-- values below.
--
-- This block of comments will not be included in
-- the definition of the procedure.
-- ================================================
SET ANSI_NULLS ON
GO
SET QUOTED_IDENTIFIER ON
GO
-- =============================================
-- Author:		<Author,,Name>
-- Create date: <Create Date,,>
-- Description:	<Description,,>
-- =============================================
CREATE PROCEDURE A1_DiscoverAtomicConditions
	-- Add the parameters for the stored procedure here
	@log varchar(50)
AS
BEGIN
	-- SET NOCOUNT ON added to prevent extra result sets from
	-- interfering with SELECT statements.
	SET NOCOUNT ON;

    --ALGORITHM 1. GENERATION AND PRUNING OF ATOMIC CONDITIONS

	DECLARE @res INT;
	
	EXEC InitialAtomicConditions;

	DELETE FROM AtomicConditions 
	WHERE attribute1=attribute2 AND 
	(dbo.DistinctRatioAi(attribute1)<dbo.Alpha(@log) 
	OR dbo.DistinctRatioAi(attribute1) = 1);


	DELETE FROM AtomicConditions 
	WHERE attribute1<>attribute2 AND 
	dbo.SharedRatioAiAj(attribute1,attribute2)<dbo.Alpha(@log);	

	DELETE FROM AtomicConditions 
	WHERE dbo.PIRatio(attribute1,attribute2)<dbo.Alpha(@log)
	OR dbo.PIRatio(attribute1,attribute2)>dbo.Beta();

	SELECT * FROM AtomicConditions;
	
	--------------------------------------------------
END;
GO